Formal system - PDFSEARCH.IO - Document Search Engine

Formal system
Results: 1034

#	Item
61	TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, Germany Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Type theory Data types Formal methods Functional programming Logic in computer science Symbol Satisfiability modulo theories HindleyMilner type system Geoff Sutcliffe Xi Polymorphism Type variable
62	Dynamic Trace Logic: Definition and Proofs? Bernhard Beckert and Daniel Bruns?? Karlsruhe Institute of Technology, Department of Informatics Abstract. Dynamic logic is an established instrument for program verification a Add to Reading List Source URL: formal.iti.kit.edu Language: English - Date: 2014-03-13 08:30:05 Automated theorem proving Proof theory Symbol Sequent Substitution First-order logic Hoare logic Method of analytic tableaux Polar coordinate system
63	VEITH SYSTEM GmbH QUESTIONNAIRE FOR THE VEITH PIN TABLE WHAT TYPE(s) OF GARMENT DO YOU PRODUCE AND HOW MANY OF YOUR PIECES HAVE TO BE DONE IN CHECKS (PLAIDS), STRIPES OR PATTERNS PER WEEK (AVERAGE)? jacket Add to Reading List Source URL: www.veith-system.de Language: English - Date: 2013-11-16 05:06:18 Formal wear Crafts Handicrafts Knitting Sheep wool Suit Pattern Dress shirt Knitted fabric Check
64	Introduction to the Guardol Programming Language and Verification System David Hardin∗ Konrad Slind∗ Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2011-12-15 18:21:30 Logic in computer science Formal methods Procedural programming languages Constraint programming Satisfiability modulo theories Parameter Formal verification Scheme Logic programming ALGOL 68 Decompiler Standard ML
65	Analyzing the Robustness of General Video Game Playing Agents Diego P´erez-Li´ebana Spyridon Samothrakis University of Essex Colchester CO4 3SQ United Kingdom Add to Reading List Source URL: julian.togelius.com Language: English - Date: 2016-07-27 21:55:50 Video game controllers Formal sciences Control theory Cybernetics General game playing Nintendo Entertainment System
66	RICHARD BELLMAN ON THE BIRTH OF DYNAMIC PROGRAMMING STUART DREYFUS University of California, Berkeley, IEOR, Berkeley, California 94720, W Add to Reading List Source URL: bioinfo.ict.ac.cn Language: English - Date: 2014-11-28 11:05:21 Equations Mathematical optimization Operations research Formal sciences Dynamic programming Richard E. Bellman Bellman equation Mathematics Algorithm Functional equation Mathematical model Nonlinear system
67	OBIS 2016 1st Workshop on Open Business Intelligence Systems Collocated with: SITISThe 12th International Conference on SIGNAL IMAGE TECHNOLOGY & INTERNET BASED SYSTEMS NovemberDecemberNaples, Ita Add to Reading List Source URL: sitis-conf.org Language: English - Date: 2016-07-13 07:16:02 Data management Big data Formal sciences Cadi Ayyad University Decision support system Business intelligence Analytics
68	Math.Comput.Sci:71–97 DOIs11786y Mathematics in Computer Science Collaborative Verification-Driven Engineering Add to Reading List Source URL: www.utc.ices.cmu.edu Language: English - Date: 2014-10-10 12:15:04 Unified Modeling Language Model-driven architecture Object Management Group Modeling language KeY Hybrid system Model checking Metamodeling Systems Modeling Language Object Process Methodology Formal verification Hybrid automaton
69	Rodin in the field of railway system engineering Tomas Fischer Thales Austria GmbH, Handelskai 92, 1200 Vienna, Austria, Abstract. Railway signaling systems are required to provide the high Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-20 11:40:08 Formal methods Standards Systems engineering Software quality European Committee for Electrotechnical Standardization Specification Verification Standardization Reliability engineering SIGNAL Formal specification Rodin tool

UPDATE